type U() =
    | A
